example.proof, gonna delete it soon though