I am trying to get a grasp of JML through OpenJML, and thought that a very cool example would be the canonical algorithm question two-sum:
https://leetcode.com/proble
