3.022 logic