using self.docket_number instead of PROCEEDING