26.4  Verifiers and Process Supervision