Anyone hear of the phrase 'Jimmy the dunce'? Any known origin? I have a bet on this meaning. How about 'Mickey the dunce'?