Doubt Truth to be a Liar: Non Trivialityy of Type Safety for Machine Learning by Matthew Tovbin