Ax: (Ey: ((x = (SS0 . y) | (x = S(SS0 . y)))))