On 7/10/2012 6:07 PM, Timon Gehr wrote: > (conceptually, the structures are immutable and infinite.) I understand, and those are useful constructs. Something has to give somewhere, and I believe that the future lies with provable constructs, not with faith based programming.