tiden mindre än annars egnad till politiska betraktelser.