The existence of Doug Dimmadome, owner of the Dimmsdale Dimmadome, implies the existence of the smaller Sodoug Sodimmadome, owner of the Sodimmsdale Sodimmadome