Ibn al-Haytham's ground theory of distance perception