# Hillel Wayne - Behaviors :: Learn TLA+ (Highlights)  ## 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