The astronomy of Milton's 'Paradise lost.".