no more set notation