Fixing some margin notes
Working on Corollary 10.3