toJSON(min(1, 1))
