Well Defined Languages