Use first when the user asks for tests, correctness, high reliability, static reasoning, proof, or safety evidence.