ratiocinaturarum