Updated checks.hpp to reflect progress