Example of the Halin graph constructed from F = C 1 ∧ C 2 ∧ C 3 ∧ C 4 ...