logical analysis