That level of logic taught to every mathematics and computer science student, and it’s really not what I was thought others in this thread were talking about.