Thinking about consistency autochecking.