OK, so shouldn’t have ol’ Joe, as any sane person would have, called the campus police instead of simply reporting the incident to his superiors?
He did.