The formula introduced by Robert Lipshitz for Heegaard Floer homology is now one of the basic tools for those working with HF homology. The convenience of the formula is due to its combinatorial nature. In the talk, we will discuss the recent combinatorial proof of this formula.