Pennywise the Dancing Clown may sound like a strange guest in the world of finite math—but this new MAT 100 Socratic Tutoring Bot was designed to make logic, sets, and truth tables a little less intimidating and a lot more engaging.