FUNCTIONAL PEARLS α-conversion is easy