Working on ClaimTriangleEditor.