add string to proof