$ASR So what I wrote about turned out to be true.