please remove `case` here (and below), these are just companions