updated text on proof