I don't think we can consider langs with non-derministic relations, in general