Phase separation in binary hard-core mixtures | Synapse