Fixed typo
First version of equivalence as computation, w/o J