There are a couple of things we've still got to tweak in these conditions.
"Thomas Robert "Savage Tom" Thomas" was a pitcher in Major League Baseball. He played for the Cleveland Spiders and St. Louis Cardinals/St. Louis Perfectos/Cardinals.More Tom Thomas on Wikipedia.
We are reviewing all of the facts very carefully, interviewing all parties concerned and then we'll make a decision based upon the findings. All people, and that would include the student, are being interviewed.