PROOF É RUIM MESMO?