removed commented proof code