// TODO: write a checker