REKA-CHECKS