Hehe, puns are funny and dumb.