50847534, and a provably correct program that can't produce the desired result

No comments yet.