The proofs are good to go, thank you