oundgängliga slutföljderna af deras egna satser.