Cocommutative Com-PreLie bialgebras | Synapse