systematizing proof Synonym