Hi, I was reviewing some of the solver theory and am a bit confused about how Sequential Impulse works with contacts. I have a working constraint solver, but still would like to understand the theory a bit better.In the [paper](https://box2d.org/files/ErinCatto_IterativeDynamics_GDC2005.pdf), we see in the time stepping section the equation we want to solve using PGS.