They should have, yes. They didn’t because democratic norms failed. The norms failed because he’s so weird.

Programming is the art of exception handling, a QA lead once told me. On that basis, the US government is a really shitty program.