Here is the notation I’ll use to describe the concepts in this corollary. The artisans are the people who build the artifacts. There are two subsystems, A and B, on the top and bottom. In the middle is the interface between A and B on the right, and the writer of the interface specification on left.