nonidentities

not defined yet