I haven't read the actual agreement, but in none of the PR did the leak out have an expiration of July 1.