NicholasKross comments on My Proven AI Safety Explanation (as a computing student)