`case` is redundant here.