HOT : a Higher Order Theory of Locality Xiaoya