Assert<true>(GOD.Reigns)
Assert<Majesty>(GOD.Robe)
Assert<Strong>(GOD)
Assert<Immovable>(Earth)
Assert<true>(GOD.Throne.Age > TimeOf(LongAgo))
Assert<Eternal>(GOD)

Seas.Waves.All.Power < GOD.Might

GOD.Laws.Can(Change) => false

while (Exists(Time))
    Holiness.Adorn(GOD.House)