Removed unused infix lift.