http://qs321.pair.com?node_id=569753

Nothing on margulies's scratchpad.