Final version I submitted 14 October 2014