for S being Language
for U being non empty set
for l being literal Element of S
for I being b₁,b₂ -interpreter-like Function ex u being Element of U st
( u = (I . l) . {} & (l,u) ReassignIn I = I )