Recall that we are assuming that the various conditions in equivalences are goals to be proved in the manner of Prolog or similar inference methods.
a predicate like parallel can be called with or without arguments instantiated.