look up any word, like sounding:

pure fun isn't defined.
Can you define it?