Further testing shows I was wrong about k

...but I incorrectly implemented dom_size