The stage of two-dimensional matching where a candidate occurrence of the pattern is checked against the "witness" table.