Adding the computational equivalience stuff