All proofs in place now