Negace induktivních podmínek; Update PDF