added mock proof of frobenius normal form, attempted to define index of a critical point, added a lot to the tale of n-cats, closing on 3446