Reduce reverse slop; define the left slop in terms of the right