Pokoj przez unifikacje?