>>673は暗黙のうちにa<b<c<dを想定しているのかな?