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

We want this.