Example: X0T bound to 2X0Y