でこの延長線上に、recursive constraintがありそう