Have any comments about Dafny?
3 + 4 =