Added more exposition.