unequivalently

not defined yet