for f being Function holds {} -indexing f = {} ;