But it is also possible to assume one truly not, however, whichever you like, but only for the proposition with always be false because is not in anything, but may be true eg if A belongs atomically both to and to (for