Default reasoning

Redirect to:

• Default logic