Yep, and Kant's writing in many ways is like early compiler design. Painful. Necessary. And built at a time when the cognitive architecture didn’t yet have shortcuts. He was writing in metaphysical FORTRAN.