Next, you need to get $ s \oplus t$ = $s$. For this to happen, some $\phi (\sigma(t)) = 0$. (Sorry for dropping the braces above).

i.e $\phi ( positive number) = 0$