(non-mathematical) Implication doesn't mean certainty, which is where I stand with that. But I would posit that it (mathematically) implies that joining two knots with under to over will never decrease the unknotting number from the sum.