Revisiting an early critique of formal verification | Heykuki News