In spite of appearances, this is not a pun.