shrunk in proportion Synonym