Finished up suggested exercises from Basics.v.