starts of baby rudin, also maybe some more dnf?