Proof code is in, Some messages have changed as well