TEST: Begin LabeledStates, and ops for States