x ( \ S \y