(CB06935): Add `<-denotational' for U-00020971.