  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.
