Rod Chapman wrote: > We have found many faculty who are willing to "overlook" > any Ada-related bias in their departments (and students...) > in order to teach with SPARK. Maybe we should rename full Ada as SPARK++ :-) :-)