  A Stoic reduction shows the formal validity of an argument by applying to it the themata in one or more steps in such a way that all resultant arguments are indemonstrables. This can be done either with the arguments or their modes (S. E. M 8.230–8). For instance, the argument mode