I'm pretty convinced most serious software will have some kind of proof system inside within the next few years.