Removed proof code