unívocamente evaluables, por lo que tienen que ser transformados