Great puns are when you make one and don't even realize it.