Exercise 3 Requirement Functional Requirement Non-functional Requirement Dafny Logical Strength Lexicographic Order