As you may know, in 2019 the ICZN changed the type species of Plateosaurus from P. engelhardti to P. trossingensis, on the grounds that the former is undiagnostic. Several papers published since then (e.g. Nau et al. 2020 and Lallensack et al. 2021) have followed this, using trossingensis when referring to material once considered to be from engelhardti. But what happened to engelhardti? Can it still be viewed as a separate, albeit dubious species of Plateosaurus, or has it been synonymized with P. trossingensis (which is improper, as engelhardti has priority)? I'm confused. Thanks in advance.