This makes the function s have the attribute that all arguments but the first are held.
In[1]:=
In[2]:=
Out[2]=
In[3]:=