Principal #Well-Defined