$\mathrm{lambda}$ $\mathrm{mu}X$