Various cleanup and a formula notation slide.