โœ… Checkpoint: Concurrency Foundations