SP18: ELEMENTARY LOGIC: 29118