Formal Logic Reasoner | Skills Pool