Add a bit more exposition