Theorem. If $T\supseteq T_{F,G,H}$ and $F,G,H$ are absolute for transitive models of $T$, then so is $R$ defined by ($\ast$).