Template:Logical connectives sidebar/doc