fun @ // EXIST: receiver