Simple-logic templates