Starting section with termination problems, formulating main theorems and proving universality fixed #74, #75 and #76