Title: Foundations in RE