"Etymology is just puns all the way down."