Provable Contrastive Continual Learning | Synapse