cosmetic
modified:   RestrictionPar.agda