Halo2 is fun