now displaying proof in progress
emphasize the current admit