Thanks, Dr. Bill. For that matter, I don't know what a puncheon is, either.