Comment by oneon

The Geneva system has been cancelled because achieving the "universal" verification would have meant to rebuild the whole system from scratch.