Tagged $ISL