(Dunno, here I should probably simply show that all propositional logic a) maps to modus ponens in a binary system - so it lives on top of an even SIMPLER set of "computational logic" than existed before, the truth (composition) tables constructable from 0 and 1. It is also a bit odd, as the "objects" are all propositions (conditionally true statements) and the propositional truths cannot be proven, only asserted.)