1022 implemented for well-formedness checking