The unifications performed by the independent adjunction of β 1 and β 2 to η o are the same as those that would be performed by a dependent adjunction of β 2 to β 1 and of the resulting derived tree to η o .
b. Richard Parker and Pi wandered the Algae Island yesterday.