Standard Logical Form