Main #Well-Defined