Yes, maybe we are. The original article was about a theorem prover, but I was under the impression that the discussion had migrated to a more general discussio

Yes, maybe we are. The original article was about a theorem prover, but I was under the impression that the discussion had migrated to a more general discussion about division by zero in programming languages. Apologies if that wasn't intended.