Logic.atMostOne works! Clause generation is clever

My program is surprising me with its concise generated CNF!  That is fun.