S. f if i ♦ !S v Ulff.