abstract transitions to final state