I am somewhat rusty on my undergrad quantum, but I'm not entirely sure I agree with this analysis. Could you perhaps explain it more clearly in baa-ket notation?