Switched from propositional to focusing on FOL