The Logical Form Of Contract Formation