In a webshop the empty basket can not have the state “paid”, first it must comprise something. An inactive button can’t have pressed state, first it must be energetic. So when there are a number of states of a component, not all transitions (going from one state to another) are valid. They are a modified…