som först ingick i en längre deduktionför