Describe well-formedness criteria in README file