introduce transition system