Comment by card_zero

10 hours ago

No, they must be refutable! Otherwise you're stuck with them forever. This is all about ongoing error correction.

0 comments