 The first three reduction axioms are identical to the corresponding reduction axioms for \(\EAL\). The fourth \(\APUL\) reduction axiom is almost identical to the fourth \(\EAL\) reduction axiom. In particular, the fourth \(\EAL\) reduction axiom, which reads 