second_dafny_lab