Coming up with the agreements on the basic data structures will surface many assumptions to be tested.