Domain d1eq2f_: 1eq2 F: