"no pun intended if you heard a dozen puns and only thought two of them were funny, does that mean no pun in ten did make you laugh"