G2G tool box and the refinement protocol.