* * S !I iff *I