<:I ~ s::