BL Reachability