% Proof that fast-check-program implies check-program. % left as an exercise (~350 lines)n