Goodbye `function`!