information about Propositional calculus field