Debugging Figs