principle of computational equivalence