get rid of set notation from rules