("&&" infix)