Added comment explaining why \Sigma must be non-empty