Class LargePositive
back
negated
^ LargeNegative new: values