Didn't stick around for state edition papers to come out, but here's an early proof of A1 that I worked on tonight. #NH