Version bound plus example results