Add docs for CHECKS