Nicholas / Heather Kross comments on My Proven AI Safety Explanation (as a computing student)