Further overhauling. Reached the Grad Theorem.