Need to propagate the infix as well