Move Joseph's proofs to the folder "examples"