now red_flip has been retired