ParentFull thread7532yahoogmail·Using TLA, spin and others will help compute actual numbers to see reachable states etcView on HN