inftheory: notes start
inftheory: notes up to ch1.3