added a bit more exposition