shovelled instrumentals advantages curtain comprehensiveness ragged unpalatable theorems mange discontentment