completed section 'Analysis' in the prototype implementation