$newline never $forall (rItem, wgt) <- rItems

_{rItem} \ #
^{wgt}