(U-0002064D): Use `<-denotational' instead of