Well formedness
Removed failures