Sort:  

Excellent - I'm all about propositional logic!