Proving a point