introduction to RE