Template:Logic/Simple Logic