prof names and dafny write up