Under det första antagandeterhåller