John_Allen_Paulos loading ...