for X being set
for U being non empty set
for u being Element of U
for S being Language
for l being literal Element of S
for I being Element of U -InterpretersOf S st l is X -absent & X is I -satisfied holds
X is (l,u) ReassignIn I -satisfied