Reference keyword: invariant