4 prompts·Search: "proof"