Persyaratang'e rimanipulasi ri siarek-arek peraturang, (The-equivalence, the-reduction, and the-conversion), iyanaritu axiom pole ri teori'e nennia ullei ripancaji aturang komputasi'e.