cataloging proof Synonym