# Postcondition

Term `postcondition`. An observable result must satisfy the model after an operation.

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))