adding alpha-convert from catalyst.