Recommiting to add the method contracts