larry niven, jerry pournelle