The Monitor Blocked 1 in 47,000 Actions. It Watched All 47,000. | VeriSwarm