Template:Logic/doc