nonequability

not defined yet