and Voltaire was wrong. It was "Holy" as in the pope had no authority over it, as it is "Holy" already. "Roman" as it larps to be Roman from time to time and "Empire", because it was an actual Empire.