<!-- Author: Asaph -->
GOD.Judges(Gods.All)

me.Query<Duration>(you.Defend(People.Where(Unjust)))
me.Query<Duration>(you.Favor(People.Where(Wicked)))

me.Assume(you.Purposes.Include<Defend>(People.Where(Weak)))
me.Assume(you.Purposes.Include<Uphold>(People.Where(Poor)))
me.Assume(you.Purposes.Include<Uphold>(People.Where(Oppressed)))
me.Assume(you.Rescue(People.Where(Weak)))
me.Assume(you.Rescue(People.Where(Needy)))

me.Assert<nil>(Gods.Knowledge)
me.Assert<nil>(Gods.Understanding)

Gods.All.Lifespan.Is(Fixed) => true