The resulting PQ-tree T" corresponding to F'" is shown in Fig. 8. Obviously, the
pertinent leaves do not tbrm a consecutive sequence in any permissible permutation
of the PQ-tree. Hence the algorithm presented by Heath and Pemmaraju
(1996a, 1996b) states leveled nonplanarity although the graph may be leveled
planar.