transition matching needs to backtrack