symbol_meaning_proof_guidance