Introduce a new checker