Mackay HD Proof