en:calculus_ratiocinator