Documented checker