葛雷 : Illustrative cases for the retro algorithm