$\mathrm{lambda}$ $\mathrm{beta}xy$ $dx$ $ay$ $\mathrm{alpha}xy$