When may a man's coat pocket be empty, and yet have something in it?