**wen** @cyrridven@computerfairi.es · Sep 17, 2020, 17:02

**wen** @cyrridven@computerfairi.es · Sep 17, 2020, 17:02

proving soundness of an operational correspondence is weird, 'cuz all the cases are like "well, clearly no other rule applies, look!"

**wen** @cyrridven@computerfairi.es · 2020-09-17T17:02:31Z

wen @cyrridven@computerfairi.es

I appreciate that this is a very niche tweet