adotey/HAC — comment on commit ebc4cc56a82390949cbac35231cf654d5fade5bb
File: Milestone.tex line 38
By adotey:

This is old.