discussion:calculus_ratiocinator