givenΣ0..*string