We define truth in a model recursively in the usual way.
If you want to change selection, open document below and click on "Move attachment"

#### pdf

owner: rappatoni - (no access) - questions-leitgebs-stability (2).pdf, p3