13 For detail, see Mio and Higo (1999)