Clust/Logic and foundations