Section+4.8

Today in class we discussed several problems, the train problem from the beginning of the unit, isomorphism between problems, and a choose notation definition of 2^n.