Program verification is not all-or-nothing | Heykuki News