Changes

==Composition, or the Composer==

==Composition, or the Composer==

===Step 1.===

===Step 1===

We are given a specification of the ''composition combinator'', or the ''composer'' <math>\operatorname{P},</math> in terms of the following effects:

Given a specification of the "composition combinator",

or the "composer" P, that has the following effects:

  x(y(zP)) = (xy)z

| <math>x(y(z\operatorname{P})) = (xy)z</math>

find an explication of P in terms of primitive combinators.

We are asked to find an explication of <math>\operatorname{P}</math> in terms of primitive combinators.

Proceed as follows:

Proceed as follows: