now for each translation a toprove tag is added