For finite values of k, MH d+2 is a static filter of Att d , because its sets of items and deduction steps are subsets of those of Att d .
the set of structures parsed by MH d+2 is also a subset of those parsed by Att d .