However, the new proof of the theorem stating that composition of open maps between funcoids is an open map now uses a proof referring to a particular point $x$.