Some cleanups regarding WellDefined
WellDefined Fixup in Opposite
Some more WellDefined fixups.