Element 'propositional calculus'