@nedbat This is result of discussion with @cpennington