Model theory of the regularity and reflection schemes