some minor edits up to 10:25am, Monday before talk