reverted halftime.tex to 44ed5ea6c6