Red (Extended Version)