distinct existence