EDM2/Extensions