Busa, ilang giupod ang gitukmod nga aritmetika sa dula nga hypothesis, diagram hypothesis, ug mga dinamikong frameworks aron mabag-o ang sangputanan kung lainlain nga mga sukod sa mga espisye nga managsama alang sa lainlaing mga lakang sa pagpilit sa mga sangkap nga adunay lainlaing pagkab-ot.