add proof if connection is lost