Counterexamples to countable-section Π21 uniformization and Π31 separation

We make use of a finite support product of the Jensen minimal Π21 singleton forcing to define a model in which Π21 uniformization fails for a set with countable cross-sections. We also define appropriate submodels of the same model in which separation fails for Π31.