toJSON(min(1))
