Theorem Zero, ElliptiGO