Anaphoric prog1. This binds IT to the first form so that it can
be used in the rest of the forms. The whole thing returns IT.