ask checks local assumptions