started next proof