Reduction and provisionals in the lower categories