Modify prob definition, fix lang issues.
Adding section 'Implementation details'
Adding section 'Motivation, background, research'