Principale #Well-Defined