Well-formedness and updated status