Implementing the checker