<samp>if</samp> not needed