Trivalent Strong Exhaustivity -- 2.pdf