[dafny.jpg]