Finished PotentialsProofs