added fifth proof, which still needs some love by fixing both todos