Negation concluded. #17 y #18