Notes

A default-constructed forward cursor, or a forward cursor that has not been set to point to a valid state and a valid transition has a singular value which means the only operation allowed is the assignment. The sink state is not considered as a valid state.