One instance of FUNCT->FUNCTION