Om man utgår från antagandetaf