two more well-formedness tests