Math insights, FLEX, new reachability code