REKA-Checks