back to specific nonterminals (amending 52ed95fa4656): otherwise AFP/CakeML won't terminate;
@article{nowak2000,
title={Some elementary proofs of {P}uiseux’s theorems},
author={Nowak, Krzysztof Jan},
journal={Univ. Iagel. Acta Math},
volume={38},
pages={279--282},
year={2000}
}