propositional calculus all the way down