Explained my decomposition of Alldiff.