empirically provable, existing independently