Efter dessa korta förutsättningar,