PRE$ (s) $URE (Explicit)

PRE$(s)$URE (Explicit)