allowed_proposal_state_transitions