the guy reported it to his superiors, who were in charge of university police, what else do you want him to do, they decided to not do anything. Why did the police not act, the da, etc etc, the blame is not on him. He is not law enforcement, actually he should not have to do anything at all. If you see a mugging on the street you are not obligated to do anything, that is a police matter. Mind your own business, he did nothing wrong, this is not a society where you have to call the cops on everything you see, wtf are you guys thinking?