Reasoning using slope fields