The paper "A Proof of a Dodecahedron Conjecture for Distance Sets" with Masashi Shinohara has been published in Graphs and Combinatorics.