no PDF for slide-theorem