(" && " infix)