Talk:TNTNT

It would seem that the number of theorems can never decrease, so there is no way of erasing data once it has been set. This might be fixed if each theorem doesn't carry through forever, but only for a set number of cycles. As it is, the language doesn't seem to be very powerful but adding some was of removing theorems would help.4D enthusiast (talk) 22:05, 29 January 2013 (UTC)