FA18: ELEMENTARY LOGIC: 29551