diminishes the effort Synonym