Let .
Say is inconsistent if .
Consistent