>... I doubt Poul Anderson was >punning on his first name. Not impossible, though unlikely - expecially since it was pronounced pool. Rima