What Is Standard Logical Form