document a desirable invariant

Created by  akkartik  on June 16, 2024
HJRHOHQKT6GDT6P7BXIMA5JF3E4BXI2OAZH6DJRNEI4RG2EE6RJAC
Change contents