Hé, arról nem volt szó, hogy a formális logika is szóbajöhet...:}}}

Még ilyet?