MS4: a BPHZ killer

The UV renormalization scheme $\text{MS}^4$ emerged in the formalization of the reasoning which yielded an array of important algorithms in the 80's. $\text{MS}^4$ guarantees finiteness of renormalized integrals by construction, satisfies the Stueckelberg-Bogolyubov causality axiom for the R-operation, and turns out to be a 4-dimensional analog of t'Hooft's MS-scheme. The well-known IBP reduction algorithm can be ported to $\text{MS}^4$ with modifications, but without problems. $\text{MS}^4$ exhibits transparency of the structure, simplicity of the arithmetic at $D=4$, and new calculational options. A straightforward derivation of RG equations runs in terms of explicitly finite quantities and expresses RG functions in terms of explicitly finite integrals.