  In this note we axiomatize the $\Pi_{k+1}$-consequences in the set theory
${\sf KP}\Pi_{N}$ for $\Pi_{N}$-reflecting universes in terms of iterations of
$\Pi_{i}$-recursively Mahlo operations for $1\leq k\leq i<N$.
