Added warped product example