Differences between check() errors, warnings, and notes