-(S (phi(omega))))