Empyrean and RE P