EqEx 3/Extensions