A says p and B says not p
- No system believes entire web;
- Every statement has a context
- Finding real inconsistencies is important
- Limit the type of deduction from some sources
- assures(key,formula)
- shoe-assures(key,formula)
- says(key,formula)
Still must avoid axiomatic inconsistency in HOL.
