 The associated side condition is that (1) both occurrences of ‘\(P\)’ are to be filled with occurrences of one and the same common noun, (2) both occurrences of ‘\(M\)’ are to be filled with occurrences of one and the same common noun other than the one used for ‘\(P\)’, (3) both occurrences of ‘\(S\)’ are to be filled with occurrences of one and the same common noun other than the ones used for ‘\(P\)’ and ‘\(M\)’, and that (4) the expression ‘belongs-to-every’ is taken to express universal affirmative predication as in the Prior analytics.  The rules of the Stoic propositional logic have been taken to be schemas.