for f being Function holds {} tolerates f ;