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