那是数学系，不是天文系。