Calculus_Ratiocinator loading ...