Update well-formedness criteria in README