equipollently

not defined yet