Why aren't these next two part of RunningProcedureContext?