Förutsatt att detta antagandeär