added broken wellformedness