complete example of with