consider LOGIC0_X1 case