That's a good point. Maybe you could argue that most of the heavy lifting in CockroachDB is actually done by RocksDB.