To be a valid transition, a necessary (but not necessarily sufficuent) condition is that there be recorded these properties for the record