I was at dinner tonight with my committee members, and one of them, talking of something that had already been decided, said, "Well it's a mute point." I stifled a chuckle and thought of arnie.