Which Formula Is Properly Constructed?