Schematic diagram of forward modeling. The gray blocks represent modeling processes, the green blocks represent outputs in each step of modeling. The red block represents input parameters in the model. The gray blocks represent steps in forward modeling and the green blocks show the corresponding output in each step. The final output i.e., the void-lensing signal is shown in blue.