I prefer: not option.case_sensitive but as you like.