Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!news.code-werk.net!news.mb-net.net!open-news-network.org!eleonora.aioe.org!emma.aioe.org!aioe.org!not-for-mail
From: "x" <x@not-exists.org>
Newsgroups: comp.databases.theory
Subject: Twin Pickle
Date: Tue, 30 May 2006 09:35:55 +0300
Organization: Aioe.org NNTP Server
Lines: 9
Message-ID: <e5gouq$jad$1@nntp.aioe.org>
NNTP-Posting-Host: s9btCjTiVvvsgWfav5q8uQ.user.aioe.org
X-Complaints-To: abuse@aioe.org
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
X-Priority: 3
X-Newsreader: Microsoft Outlook Express 6.00.2800.1437
X-MSMail-Priority: Normal
Xref: dp-news.maxwell.syr.edu comp.databases.theory:40245

Following the answer to Nikolai Onken and the suggestion of  Keith H Duggar,
I present you the following transformations:

I(x)=x, I:U--->U
T(y)=x, T:U*U--->U

What is missing ?