removed inverse_of