Super HN

   TLA+ Modeling Tips (muratbuffalo.blogspot.com) 5 points by birdculture 55 minutes ago