David Paul Strom

straightforward existential quantifications