User blog comment:Alemagno12/A well-ordering of graphs/@comment-1605058-20171015081410/@comment-25601061-20171015160324

The first o can only be connected to the outside vertices of ωω. ωω = o-[o,o,o], so the first o in o-[ωω,o,o] connects to the first o in ωω.