Hello, The latest Gem is now available for your perusal: <http://www.adacore.com/2008/01/28/ada-gem-24/> Author: Bob Duff, AdaCore Abstract: The “not null” syntax can make programs more efficient by removing the need for implicit run-time checks. Enjoy!