structuring proof Synonym