Det utgår nämligen frånförutsättningen