A framework a theory is read in, the value of graphBuildMode: a shortcut for the values of the flags it presets, with the operators of its notation. The flags the theory or the solver state override it (see Settings), the flags the profile does not preset keep those of the solver.