Auto-completed and Auto-updated field

A deduced field f $\in$ $\mathbb{F}$ is said to be auto-completed if it is unfilled initially. Similarly, a deduced field f is said to be auto-updated if it already has a value and the deduced value is different from its previous value.