Restricted extensions: what agreement does and does not mean

This is exactly why the conditional coordinate-compatibility clause of XVI-D cannot be replaced by an appeal to agreement on compact sources CheungXVID (:coordinate-compatibility). Here the smooth inverse is constructed, but its construction does not rename every inherited occurrence of a Green symbol.