-

Finished writing stuff for beta-reduction in compded paper.