Clear prop's about right; in English law (as far as I know), you can continue to trade while insolvent if you are in negotiations or believe there is some way out. I hope HAL sort it all out (for a variety of reasons: not only for those at HAL but those in remote areas of the UK who rely on them).