Avoiding the inconsistency problem

No system handles entire web;
Every statement has a context
Finding real inconsistencies is important
Limit the type of deduction from some sources
- assures(key,forumla)
- shoe-assures(key,formula)
- says(key,forumula)