Opacity transition between checking and no-new-messages messages