The left inferior frontal gyrus is activated during the processing of hierarchical structures in language, and Freidrich et al wondered whether a similar pattern would emerge when subjects processed information containing first order logic in the form of mathematics.