infix appl.