Proving Oneself [Open]