nonequableness
not defined yet