Assert things in specs

The original test defined its own model. Do so again.

Partially reverts af8f9a7bffa238db2648dfc28f23b7618f6881f2