Correct equivalence doc
Make 'imp' less readable :)