# Hillel Wayne - Behaviors :: Learn TLA+ (Highlights)
## Metadata
**Cover**:: https://readwise-assets.s3.amazonaws.com/static/images/article0.00998d930354.png
**Source**:: #from/readwise
**Zettel**:: #zettel/fleeting
**Status**:: #x
**Authors**:: [[Hillel Wayne]]
**Full Title**:: Behaviors :: Learn TLA+
**Category**:: #articles #readwise/articles
**Category Icon**:: 📰
**URL**:: [learntla.com](https://learntla.com/pluscal/behaviors/)
**Host**:: [[learntla.com]]
**Highlighted**:: [[2020-09-20]]
**Created**:: [[2022-09-26]]
## Highlights
- a spec only passes if every behavior passes
- Either
- The important thing is that TLC will run *every* branch. When it encounters an either, it creates a separate behavior and executes a different branch for each one.
- it creates a behavior for each element in the set.
like variables