Thus I am interested in the more general issue raised by Polger and Shapiro's argument.
I show how to supplement a theory of realization with a category-inclusive auxiliary assumption, which avoids the stated reductio.