Remove x < y < z from tunnel example