Proof As Sign, Conversion As Condition | AMiner