An Institution of Fluxions