Logic Templates