Well-Distributed Checking for Understanding