SP17: ELEMENTARY LOGIC: 29468