Can We Trust Logical Form? | Synapse