Finished wedge inverse limit example
slight addendum