Знаете ли вы что-нибудь об императоре Священной Римской империи Карле VII? Фридрих Великий охарактеризовал его, заменив в известном латинском выражении логический оператор. Как именно охарактеризовал?