x == (s || z). You say it kwontized