It’s been a long time since I’ve even looked at Dirac notation. I had to ask AI what your response was ;-)