My god, that proof map has so many parts O.O