intro for 3.3 + \lass & \exsts everywhere