  Steen's (2018) Hintikka set properties for Church's type theory based on
primitive equality are reduced to the Hintikka set properties of Brown (2007).
Using this reduction, a model existence theorem for Steen's properties is
derived.
