Verification comes with an additional cost. This makes me wonder: if we can verify, why use a LLM at all? An LLM might even cost more.