Thanks for the proofs @Lucille, good luck