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

We want all three of these lines.