Context exits verify