Glad to know that you laughed! I, a prolific reddit user, have your thoughts in very high regard. I appreciate that you told me the joke was funny, o king of humor, because I myself was not ready to decide on whether this attempt at humor was a good attempt.