A myth with a kernel of truth, and a licencing situation that's in truth a bit complicated, means there's significantly more "friction" involved with a decision

A myth with a kernel of truth, and a licencing situation that's in truth a bit complicated, means there's significantly more "friction" involved with a decision to use GNAT, and therefore to even begin thinking about messing with Ada or SPARK. As I note in another posting in this subtread, that not a good way of "doing business", and can do nothing but suppress interest in and use of Ada or SPARK. E.g. I have every reason to believe you and the others commenting on this, but I'm going to have to confirm for myself that this is correct.