(make well-formed)