Cleaned up the exploration document a bit.