  We construct a model of cubical type theory with a univalent and
impredicative universe in a category of cubical assemblies. We show that this
impredicative universe in the cubical assembly model does not satisfy a form of
propositional resizing.
