PAZZI CHAPEL FORMAL ANALYSIS