thinking about the system of differentials
typos