More work on RE