equivalenced

not defined yet