# Idempotent postcondition

Term `idempotent-postcondition`. An already-satisfied desired state can be success rather than an avoidable error.

Practitioner: John Ousterhout. Read in: *A Philosophy of Software Design*, §10.3 Define Errors Out of Existence.

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

## Sources
- Ousterhout, John. *A Philosophy of Software Design*. 2018. [Link](https://web.stanford.edu/~ouster/cgi-bin/book.php). ([b10-a-philosophy-of-software-design](/bibliography#b10-a-philosophy-of-software-design))