double space between `res` and `&&`