CHECK: Comparison to NULL could be written "binding"
WARNING: Possible repeated word: 'that'