= Res 
NP on, 
