. . . . "7th-century Chinese astronomer" .