Comment

Michael Kennedy

Nice analysis. f7 is now order preserving because it's backed by dictionaries, which are now going to be order preserving.