“The Golden Rule:

No update operation must ever assign to any database a value that causes its database predicate to evaluate to FALSE.”