Two of those three are not puns.