Well-formedness loading ...