(\exists z)(S\lan R)