laying out proof Synonym