Added hardenAllProperty procedure.