Summary of Walter M. Miller Jr.’s A Canticle for Leibowitz