Connecting the Wires いちいち(let ... (map ... (call/fresh ... (disj2 ... (disj2 ...)))))などとは 書いていられないのでマクロ書くよ！という章 まずdisj2のいくつでもゴールを取れる版disj実際にはcondeが使われるので補助的な位置