machina_ratiocinatrix
