Add: caching invariants