withPred

RingLaws