> What if we make --enable-concept-checking pay attention to the top-level's > --enable-checking option? Hmmmmmmm....... sounds like a promising idea. First though, are testresults identical for --enable-concept-checking and --disable-concept-checking? -benjamin