proving data Synonym