My puns are not trivial. They are quadrivial