Withdrawals turned them from "insolvent under a technical rule" to "actually insolvent". That's kind of why they were insolvent under the technical rule - because withdrawals could make them actually insolvent.