અહીં ત્રણ ઘટકો મહાન રસ છે: પોસ્ટ્યુટો (એસોમ્સ), ડિડ્યુસ્ડ અર્થ (પ્રમેયો) અને સાબિતી (નિયમો, તારણો).