Add explanation of with syntax