Memory as a Consistency Check