Paul Extended Version