The facts stating the flags of context with their values (see valuesOf), but for the flags named in except: for a theory solved elsewhere with the same flags