* begin proof of progress