premise: "Had BA gone insolvent with a big enough deficit in the scheme <hypo>," he said.
hypothesis: <hypo> should be "the guarantee would have benefited the (government's) Pension Protection Fund (PPF) rather than members"