"F"^^ . . "COD: form a conjecture."^^ . "conjecture.v" . "conjecture.v"^^ . "v" . "conjecture" . . .