取回: Proof 1 results