toJSON(1 <= i)
