Bounding minimal separators of proper minimal triangulations. An example of the bound in Lemma 4.8. H has five minimal separators, obtained from every pair of vertices from the set except. There are four taxa, so Lemma 4.8 gives an upper bound of five minimal separators. Therefore, the bound in Lemma 4.8 is tight for n = 4 taxa.