https://keurig-refill-cups.blogspot.com/2024/05/asynchronous-machines.html