∀x,y∈people (x says (y ∈ based)) → (x ∉ based ∧ y ∉ based)