Tom motiw till ett formell dubbelt , ,stat