Joyce Vann, Mark Wegman, and the reviewers provided valuable feedback on earlier versions of this paper. Siobhán Clarke produced the SEE design in UML.