Time to collection some proofs. Back