DISPLAY2_SMT: D_G2