calculus_ratiocinator
