RE Restored to health
(not published)