Every cubic graph has four total dominating sets covering each vertex at most twice

In 2018, Goddard and Henning conjectured that every cubic graph has four total dominating sets covering each vertex at most twice, and asked the analogous question for transversals of $3$-uniform $3$-regular hypergraphs. We prove the conjecture, which also answers the question in the affirmative.