= Då ett erforderligt anta!