Isn't `case` covered in another rule already?