with a special rule for each or, when generality was possible, of this form: G) If a is an with extension A and is a with extension, then the result of combining a. with fl is a with extension f(A,B).