BUT WHAT IS PDF, REALLY?