Dafny view 2