Fixed the ordering of infinite amb