My main takeaway from the challenge is “it’s really easy to goad formal methodists into writing tons of really good articles on formal methods”