Uniqueness for Transitions, States and Statemachines