Now it begins to look as if it COULD happen that x15 would
become the varib to become fixed at zero while x13 would be small
and positive.