Template:Logic templates/doc