3This section has been slightly revised by the author on August 24, 2017 to remove potential ambiguities