Fig 4 Definition of Exact

Fig.5 RSA spelling rules

Fig 6 Useful interpretations

Fig 7 Abstraction and concreteness

Fig 8 Fragments

Fig 9 Eight Junctors

Fig 10 Constraint and Control Junctors

Fig11 Conditional constraints

Fig 12 Part junctors

Figs 13-15 Lasso, Ties, and Parameteized Call

Fig 16 A Realistic Design Network

Fig 17 Degrees of Tie Matching

Fig 18 Why one junctor is missing