Left with Inst/If fixed Alloc proof