its the combination of cryptographic client-verification, SQL (that includes verification for every return value present and past) and being able to travel in time

I think it's the first to allow it with TM.