All base strong-type models exist