toJSON(div == half)
