Unrolling thread...
HOLY FUK I JUST LEARNED ABOUT TLA+ AND IT'S SO GOOD FOR