Premise: The Portezuelo Formation is a geologic formation outcropping in the Mendoza, Río Negro and Neuquén provinces of Argentina. It is the fourth-oldest formation in the Neuquén Group and the older of the two formations in the Río Neuquén Subgroup. Formerly, that subgroup was treated as a formation, and the Portezuelo Formation was known as the Portezuelo Member.
Hypothesis: Portezuelo Formation wasn't known as the Portezuelo Member