Can someone elaborate on whether August 1st is still an important date? Should we still stop trading shortly before August 1st goes in now that BIP91 will be locked in?