I have a hard time grokking your wording, but I'd like to point out that Bayes' Rule is typically "typed" to events (i.e. B is of type "event"). That being sai

I have a hard time grokking your wording, but I'd like to point out that Bayes' Rule is typically "typed" to events (i.e. B is of type "event"). That being said, I don't think this needs to be the case. The syntax could "compile" differently depending on context. From my understanding, Bayes' Rule is more about updates to pre-existing probabilities, which we label with the suggestive name 'beliefs', which aren't necessarily tied to a human's mental state. I do agree with your last paragraph, but I also accept that those profs likely do so because some majority or plurality of students do hols that belief. That being said, there's definitely room for different wording.