$RE 1$ lets go