[lemma=better] [□] □ □
[lemma=better] [□=□] □ □
[lemma=better] [□ | □] □ □
Given the good differentiations already established in the first five chapters , this procedure works far better than one might expect .