[ BeginEnv "theorem"
, Label "indefinite_test_forall"
, Word "every"
, Word "set"
, Word "is"
, Word "a"
, Word "set"
, Symbol "."
, EndEnv "theorem"
, BeginEnv "theorem"
, Label "indefinite_test_exists"
, Word "some"
, Word "set"
, Word "is"
, Word "a"
, Word "set"
, Symbol "."
, EndEnv "theorem"
]