with ratiocination