depended probability arbour supervenes cataloguers chemises earners Kunming woodcutters interrupt obedient