Separation principles and bounded quantification

This note is concerned with the implication Sep II (Q)→Sep I (Q) where Q is a class of subsets of some set S. where cZ denotes S—Z. It is well-known that in general the above implication is false (e.g. let Q be the closed subsets of the reals).