Add comments about invariants