y juraria que Y es doble lamda pero no lo se. Y la Z ya ni idea...