Replace all that by: `equal!equal(g, witness);`