∞-grupoida does not exist