I like the fact that quanstamp is security verification protocol for smart contracts that improves the security of Ethereum. I think this is a very interesting project that offers a lot of value. I hope it does make a run.