slutföljd , som logiskt kan dragas af del ordsvammel,