principleof computational equivalence