Split problems-description, extension-conclusion. Small rewrites