Knowing that a time series is over-differenced or under-differenced, and adding an AR term to the model means that we are partially differencing the time series if it's underdifferenced till a white noise remains, and adding MA term means that we are removing the effect of over-difference time series till we get also to white noise. Thus as adding MA terms has an effect that oppose to the effect of adding AR terms to our model why are combining the two into ARMA model as the series is either over-differenced or under-differenced??
The whole idea is to combine AR , DIFF and MA structure in a parsimonious way incorporating pulses,level/step,seasonal pulse and local time trends as needed following http://docplayer.net/12080848-Outliers-level-shifts-and-variance-changes-in-time-series.html and others .
Careful iterative steps should be taken to insure that no unnecessary and/or redundant structure is incorporated. Model building is not a 1 stop process but rather a sequence of steps culminating in an equation that may have needed complexity but doesn't have unnecessary structure. Comments like "the significance of variables is irrelevant" is self-serving due to software limitations which doesn't' enable necessity and sufficiency checking and appropriate remedies and flies in the face of "good statistical practice"
Software that simply tries to "fit without testing significance" and avoiding the treatment of deterministic structure often over-parameterizes requiring some of the steps you alluded to in your question ARIMA Time series analysis forecasting and How to determine order of sarima?.
So the suggested "logic" goes .. STEP 1:... use auto.arima to identify the ARIMA portion assuming no interventions ( one form of deterministic structure) are present in the data which erroneously misidentifies the noise if deterministic structure is present. This explains the unwarranted and extremely complex over-parameterized model selection typically reported. See Coefficient Significance in Regression with Arima Errors for a very recent example of this.
The model should be complex enough but not too complex. The residuals from the final model should be free of autocorrelation and have a constant mean and variance throughout time.