Proving again