catch-any now RETURN/REDO -proof