1999/10/01, 8:00-9:50 AM:

We showed there is a rational between any 2 reals, therefore
simplified the def of limits in R.

We started to prove completeness using diagonal sequence.