Changes to Theory/Fusion/defs