> I think this is unfortunate because it cheapens American democracy even further in the eyes of adversaries who want nothing more than to mock us on the world

> I think this is unfortunate because it cheapens American democracy even further in the eyes of adversaries who want nothing more than to mock us on the world stage. Sorry to inform you, but most of us haven't taken American "democracy" seriously since at least the 90s.