starting to add key order invariants