finish changes to support transition assertion -> claim