Talvez meus amigos apreciem isso aqui I am opposed to looking upon logic as a kind of game. One might think that it is a matter of choice or convention which logic one adopts. -- Karl Popper (1902-1994) Carlinhos Carlos Alberto de Braganca Pereira <cpereira@ime.usp.br>