>>305
∀xFx,∀x∃yFxy

という命題の話
たしかに混ざった話にはなっている