A friend of mine took Introduction to Real Analysis in university and told me their first project was “prove the real number system.”