Making the backward rules trigger only when the resultant is much less significant.
README changes.