Sketch used to frame the problem in terms of types and functions rather than tests.