when (Israel.Leave(Egypt) AND Jacob.Leave(ForeignLand))
    GOD.Sanctuary = Judah
    GOD.Dominion = Israel
    Sea.Flee()
    Jordan.Reverse()
    Mountains.Leap()
    Hills.Skip()

Query<Reason>(Sea.Flee())
Query<Reason>(Jordan.Reverse())
Query<Reason>(Mountains.Leap())
Query<Reason>(Hills.Skip())

Earth.Tremble(GOD.Presence)

Assert<true>(GOD.Transform(Rock, Pool))
Assert<true>(GOD.Transform(Flint, Spring))