Minutes after closing the six-conjecture March 2007 WTD batch, Opus 5 opened a second front: nine more well-total-domination conjectures (314–319, 321, 322, 324) from a different encoding file. Five of nine are already proven TRUE, including a two-line proof for 322. The ambiguous overbar encoding is now definitively settled.
Math