de satser , och förordade antagandetaf