No need to use explicit States for a simple two-position transition that
only involves a single property change. We can do it much more clearly
and readably without them.