Efter att ha framdragit en delkonsekvenser