CHECKING REALITY <>

Definitions