This breaks the Evrard collapse... What happened here?
Aaargh looks like an emacs thing got pushed in by mistake.