Aleossa laskelmat muutetaan lyhyiksi matemaattisiksi objekteiksi, jotka kuka tahansa voi nopeasti tarkistaa. Nämä eivät ole itse laskelmia, vaan todisteita siitä, että ne on tehty oikein. Millä nimellä me niitä kutsumme?