When is it worth the time and effort to verify a proof FORMALLY? | Heykuki News