I det ofvanstående hafva vi förutsatt,