tom algöres torde vara dfn , huruvida ali.