The VALUE-CHECKER