I'm inspired by how clean his reasoning is. Something basic but fuzzy which we refer to all the time - "divide by zero is undefined" - actually contains meaning! This makes me happy.