la:discussion:calculus_ratiocinator