[Air-L] yet another thesis - Reachability