A bipartite formula on binary variables x_1, \ldots, x_n and y_1, \ldots, y_n is a binary tree whose internal nodes are marked with AND or OR gates and whose leaves may compute any function of either the x or y variables. We show that any bipartite formula for the Inner-Product ... more >>>