Terms are manipulated through some rules, (the -equivalence, the -reduction, and the -conversion), which are the axioms of the theory and may be interpreted as rules of computation.
Tənaten aqalnat atiwədassən as tənaten, (tigdəhawt, afənazət, ad assəməliliy), aqalnen inəhəja ən tamusne izar adoben atwələɣi sund tənaten ən maɗin.