A syntax for
BlackBoxComponentry. A component is characterized by what it produces together with its preconditions. For example:
Produce NetPay using (GrossPay, TaxDeducted, OtherDeductions)
in preference to:
NetPay := GrossPay - TaxDeducted - OtherDeductions