⁶  As far as these rules are met, realparamJ and formalparamJ (for 1 ≤J ≤N) can be textually identical, as in the case of Buyer in the example.