        alt="(t,uv) \in E"/> implies <img class="math"
                                                                    src="../_images/math/e032047fb9654dae0b607ba54b39bbbec7a41bee.png"
                                                                    alt="(t,u) \in W"/> and <img class="math"
                                                                                                 src="../_images/math/87b26cfef0a8bc8d759b3ad15e6d0d2d03bd0a51.png"
                                                