Added hardenProperty procedure.