reducible+to+nonentity