Clust/Elementary logic