[proof] (proofexists) - Profile