Insty, thanks....
However, a satisfactory answer to your modification would only require demonstration that one aircraft type was airworthy.
My original does not allow a satisfactory answer without all being airworthy.
Semantics [ but formal methods do that to you
] but it is something a politician would gleefully jump on.
sw