Backward: cosmetic
NewStateSet: subsumption might be working now