Contents   Index

Strict Reading

If, finally, $CT \! B$=0 then f must be consistent now, but is not guaranteed to remain consistent. As in the previous cases a new version of f may be required.

Using $CT \! B$=0 the client is being strict.