User-agent: *
Disallow: /cornerst.pdf
Allow: /