Först har man föreslagit antagandetaf