Proof in the numbers, HALAS