Can we have reachability properties in TLA⁺?

3 points | by ibobev 6 hours ago