resolver RT location
implement NOT