abstract transitions