Propositional and first-order logic with visitors, singletons, and other patterns used.