where does `self.case` get set?