[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 .