Slide "Important well-formedness constraints"