Sometimes a problem describes a certain process and asks you whether a certain result can be achieved through a series of repeated actions. How could we prove that such a result is impossible to obtain? One of the ways is to observe all the properties of the process that do not change after performing some action, or alternatively, properties that change in a predictable way. We call these properties "Invariants".