@complex123 pm me proofs