Principal #Well-Formed