documented logical expressions