to get a few off-line things done today. Back later.