Beta elimination

Summary