Symbol: prove_locking