Låt om ofj antaga ,att