satser , och förordade antagandetaf