S∪lSlD∈ d∃W
S∪lSlD∈ d∃W

S∪lSlD∈ d∃W

end of the past