Figure 10:
Misbehavior detection algorithm for the query protocol.