Meta-interpretation of @webyrd and @jtfmumm propositional logic.