nonequivalently

not defined yet