Only when the proof system is incredibly dependable (e.g., stage 2 is the best option if the failure rate is 10⁻⁵ or less.