# Precondition

Term `precondition`. A model rule identifies when a generated operation is valid.

Practitioner: Hebert. Read in: Same book, Laying Out Stateful Properties: The Validation.

## Skills
- [uncomplect](/skills/uncomplect)

## Sources
- Hebert, Fred. *Property-Based Testing with PropEr, Erlang, and Elixir*. Pragmatic Bookshelf, 2019. [Link](https://pragprog.com/titles/fhproper/property-based-testing-with-proper-erlang-and-elixir/). ([b11-property-based-testing](/bibliography#b11-property-based-testing))