work on propositioner PDF handling