Documenting `case`.