maxinf(w)(λwʼ .λx .x are dogs)= ιz .[λwʼ .λx .x are dogs](w)(z) & ∀zʼ[[λwʼ .λx .x are dogs](w)(z’) & z≠z’ > [[λwʼ .λx .x are dogs](w)(z) => [λwʼ .λx .x are dogs](w)(z’)]]
= the largest sum of dogs in w