Até que o verídico exista

Uma parte

Não existe parte

Um todo

Não existe um todo

Não existe uma parte sem o todo

Não existe um todo sem uma parte.