( f \ s.