Really pleased with how this proof turned out