'Value-Based Dirty-Checking'