MULTIPLE ASSIGNMENTS: CLASSICAL LOGIC