Finishing the divergence example