Calculus_ratiocinator loading ...