first pass at writing proof for the analysis of pseudo palm tree