Tag set proofing language