A syntax for BlackBoxComponentry.  A component is characterized by what it produces together with its preconditions.  For example:  

 Produce Net''''''Pay using (Gross''''''Pay, Tax''''''Deducted, Other''''''Deductions)
in preference to:

 Net''''''Pay := Gross''''''Pay - Tax''''''Deducted - Other''''''Deductions