Added more facts and made some other improvements.