Style note: separate cases with a blank line.