New samples for With and Having