abstract transition