>>718 α≦x≦α?