Thesis: use \limits in EFS GV formula
Thesis: garden (mostly whitespace)