Added in Salted proof