checker rewriten