Updates(R,S) = Updates(,S) if holds in S but every with j < i fails in S. Updates(R,S) = if every fails in S .
,S)
if
holds in
S but every
with
j < i
fails
in S.
Updates(R,S) = 
if every fails in S .