they are logically equivalent until you add anything else